GENERALIZED SYSTEMATIC DEBUGGING FOR ATTRIBUTE GRAMMARS XXX1 Generalized Systematic Debugging for Attribute Grammars

Generalized Systematic Debugging for Attribute Grammars

Attribute grammars (AGs) are known to be a useful formalism for semantic analysis and translation. However, debugging AGs is complex owing to inherent difficulties of AGs, such as recursive grammar structure and attribute dependency. In this paper, a new systematic method of debugging AGs is proposed. Our approach is, in principle, based on previously proposed algorithmic debugging of AGs, but ...

Systematic Debugging of Attribute Grammars

Although attribute grammars are commonly used for compiler construction, little investigation has been conducted on debugging attribute grammars. The paper proposes two types of systematic debugging methods, an algorithmic debugging and slice-based debugging, both tailored for attribute grammars. By means of query-based interaction with the developer, our debugging methods effectively narrow th...

Development Environment for Language Processors Based on Attribute Grammars

To develop language processors efficiently is difficult because they need to deal with large data with complex structures. Using tools based on formal specification is one of the strategies to reduce the cost in developing language processors. However, the area of application which can be developed by these tools is limited. This dissertation aims at realization of the practical development env...

Systemati Debugging of Attribute Grammars

Debugger for Attribute Grammar Specification Language , Silver

Despite the growth of information technology, it has not provided satisfactory results in certain areas. This is because our current approach has been limited by time consuming processes of software testing and software development.Programming,specially declarative and functional, can improve this methodology by making programmers free from following certain sequence of expression calculation. ...